Kurt Mie 1904-1974

Reflections on Kurt Gödel

Except for a few minor corrections this second printing is identical to the first ([Wang 1987]). The book is meant to be a first attempt to consider G’s life and work as a whole within an inclusive context that, except maybe for chapters 6, 10, and 11, is accessible to most thoughtful people. The many personal contacts that W had with G during the later years of G’s life makes him an important ...

INTERNET - DRAFT Kurt

This document provides procedures for registering extensible elements of LDAP (Lightweight Directory Access Protocol). The document also provides guidelines to IANA (Internet Assigned Numbers Authority) describing conditions under which new values can be assigned. Zeilenga IANA Considerations for LDAP [Page 1] INTERNET-DRAFT draft-ietf-ldapbis-iana-05.txt 20 December 2001

Kurt Henry Johnsen

Dmd065755 1891..1904

The cytochrome P450 2C19 (CYP2C19) enzyme plays an important role in the metabolism of many commonly used drugs. Relatively little is known about CYP2C19 inhibitors, including compounds of natural origin, which could inhibit CYP2C19, potentially causing clinically relevant metabolism-based drug interactions. We evaluated a series (N = 49) of structurally related plant isoquinoline alkaloids for...

Kurt Gödel and Computability Theory

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda ...